failure 507:
Requirement failed: {scalbn.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 21122 |
| occurence |
| scenario |
util_float_scenario |
| specification function |
scalbn_spec() |
| parameter value |
CallContext context = [pid=17999,thr=b752d6c0] |
| parameter value |
Unifloat * @x = (double) -1.7976931348623157e+308 (-0x.FFFFFFFFFFFFF800P1024) |
| parameter value |
Unifloat * x = (double) -1.7976931348623157e+308 (-0x.FFFFFFFFFFFFF800P1024) |
| parameter value |
IntT n = 3 |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (double) -Infinity |
coverage
& branch |
C
x - finite non-zero value, n - non-zero |
| properties |
| REQ failed |
scalbn.11.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The scalbn() family of functions shall compute x * FLT_RADIX^n efficiently, not normally by computing
FLT_RADIX^n explicitly.
According to LSB, the functions shall set ERANGE error code when overflow occurs.
But on the target machine the function sets error code EOK instead of ERANGE in
this case.
|
|